En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
Na lógica matemática, um literal é uma fórmula atômica (átomo) ou a negação de um átomo. Os literais podem ser divididos em dois tipos:
Dois literais são ditos opostos ou complementares se um deles é a negação do outro. É usual denotar-se por o literal oposto a .
Um literal é dito puro em um conjunto de cláusulas se este conjunto não contém cláusulas da forma